Nov 30 19:39:12.045 INFO testing yui-knk/type_lang against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Nov 30 19:39:12.046 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 19:39:12.584 INFO [stdout] 347f9b97af0156f4961f9c57148b1d4c204a9b62cf60d6e893515cb038341d1d
Nov 30 19:39:12.587 INFO running `"docker" "start" "-a" "347f9b97af0156f4961f9c57148b1d4c204a9b62cf60d6e893515cb038341d1d"`
Nov 30 19:39:13.971 INFO [stderr] usermod: no changes
Nov 30 19:39:14.069 INFO [stderr]    Compiling unicode-width v0.1.5
Nov 30 19:39:14.069 INFO [stderr]    Compiling vec_map v0.8.1
Nov 30 19:39:14.069 INFO [stderr]    Compiling atty v0.2.11
Nov 30 19:39:14.723 INFO [stderr]    Compiling textwrap v0.10.0
Nov 30 19:39:15.919 INFO [stderr]    Compiling clap v2.32.0
Nov 30 19:39:33.518 INFO [stderr]    Compiling type_lang v0.1.0 (/source)
Nov 30 19:39:38.851 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 24.84s
Nov 30 19:39:38.851 INFO [stderr] su: No module specific data is present
Nov 30 19:39:39.749 INFO running `"docker" "inspect" "347f9b97af0156f4961f9c57148b1d4c204a9b62cf60d6e893515cb038341d1d"`
Nov 30 19:39:40.065 INFO running `"docker" "rm" "-f" "347f9b97af0156f4961f9c57148b1d4c204a9b62cf60d6e893515cb038341d1d"`
Nov 30 19:39:40.551 INFO [stdout] 347f9b97af0156f4961f9c57148b1d4c204a9b62cf60d6e893515cb038341d1d
Nov 30 19:39:40.565 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 19:39:41.061 INFO [stdout] 3172648f5a9af654d6286449f3310df4d51498a354292818ef1721790b574634
Nov 30 19:39:41.065 INFO running `"docker" "start" "-a" "3172648f5a9af654d6286449f3310df4d51498a354292818ef1721790b574634"`
Nov 30 19:39:42.598 INFO [stderr] usermod: no changes
Nov 30 19:39:42.691 INFO [stderr]    Compiling type_lang v0.1.0 (/source)
Nov 30 19:39:50.345 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.72s
Nov 30 19:39:50.351 INFO [stderr] su: No module specific data is present
Nov 30 19:39:51.377 INFO running `"docker" "inspect" "3172648f5a9af654d6286449f3310df4d51498a354292818ef1721790b574634"`
Nov 30 19:39:51.737 INFO running `"docker" "rm" "-f" "3172648f5a9af654d6286449f3310df4d51498a354292818ef1721790b574634"`
Nov 30 19:39:52.114 INFO [stdout] 3172648f5a9af654d6286449f3310df4d51498a354292818ef1721790b574634
Nov 30 19:39:52.119 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 30 19:39:52.724 INFO [stdout] ef478ac319728f3d0c389cc017147f1fd13de2c2a17f1f567e345d3cfd24cd81
Nov 30 19:39:52.727 INFO running `"docker" "start" "-a" "ef478ac319728f3d0c389cc017147f1fd13de2c2a17f1f567e345d3cfd24cd81"`
Nov 30 19:39:54.769 INFO [stderr] usermod: no changes
Nov 30 19:39:54.867 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Nov 30 19:39:54.871 INFO [stderr]      Running /target/debug/deps/type_lang-b2ceae106b1cf8f3
Nov 30 19:39:54.873 INFO [stdout] 
Nov 30 19:39:54.873 INFO [stdout] running 128 tests
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_appy ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_as ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_fix ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_if ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_iszero ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_false ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_deref ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_case ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_associativity ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_lambda ... ok
Nov 30 19:39:54.879 INFO [stdout] test eval::tests::test_eval_assign ... ok
Nov 30 19:39:54.883 INFO [stdout] test eval::tests::test_eval_let ... ok
Nov 30 19:39:54.883 INFO [stdout] test eval::tests::test_eval_nat ... ok
Nov 30 19:39:54.883 INFO [stdout] test eval::tests::test_eval_pred ... ok
Nov 30 19:39:54.887 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok
Nov 30 19:39:54.887 INFO [stdout] test eval::tests::test_eval_true ... ok
Nov 30 19:39:54.887 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok
Nov 30 19:39:54.887 INFO [stdout] test eval::tests::test_eval_projection ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_variant ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_as ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_unit ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_record ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_letrec ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_ref ... ok
Nov 30 19:39:54.895 INFO [stdout] test eval::tests::test_eval_succ ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_bool ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_case ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_bang ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_braces ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_eq ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_false ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_colon ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_dot ... ok
Nov 30 19:39:54.895 INFO [stdout] test lexer::tests::test_next_token_comma ... ok
Nov 30 19:39:54.896 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok
Nov 30 19:39:54.896 INFO [stdout] test lexer::tests::test_next_token_fix ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_in ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_let ... ok
Nov 30 19:39:54.897 INFO [stdout] test lexer::tests::test_next_token_of ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_nat ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_lt ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_ref ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_gt ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_succ ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_true ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_unit ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_top ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_pred ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok
Nov 30 19:39:54.899 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok
Nov 30 19:39:54.908 INFO [stdout] test lexer::tests::test_next_token_parens ... ok
Nov 30 19:39:54.908 INFO [stdout] test parser::tests::test_parse_apply ... ok
Nov 30 19:39:54.908 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_assign ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_blank ... ok
Nov 30 19:39:54.915 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_deref ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_as ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_false ... ok
Nov 30 19:39:54.915 INFO [stdout] test parser::tests::test_parse_case ... ok
Nov 30 19:39:54.939 INFO [stdout] test parser::tests::test_parse_iszero ... ok
Nov 30 19:39:54.939 INFO [stdout] test parser::tests::test_parse_if ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_lambda ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_nat ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_fix ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_projection ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_let ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_pred ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_record_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_ref ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_succ ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_tag ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_true ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_true_false ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_variant_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test ty::tests::test_record_type_equality ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_var_ref ... ok
Nov 30 19:39:54.955 INFO [stdout] test type_check::tests::test_check_apply ... ok
Nov 30 19:39:54.955 INFO [stdout] test type_check::tests::test_check_deref ... ok
Nov 30 19:39:54.955 INFO [stdout] test parser::tests::test_parse_top_type ... ok
Nov 30 19:39:54.955 INFO [stdout] test type_check::tests::test_check_bool ... ok
Nov 30 19:39:54.955 INFO [stdout] test type_check::tests::test_check_iszero ... ok
Nov 30 19:39:54.958 INFO [stdout] test type_check::tests::test_check_case ... ok
Nov 30 19:39:54.958 INFO [stdout] test parser::tests::test_parse_record ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_assign ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_as ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_fix ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_let ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_lambda ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_nat ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_pred ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_projection ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_record ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_ref ... ok
Nov 30 19:39:54.963 INFO [stdout] test type_check::tests::test_check_succ ... ok
Nov 30 19:39:54.965 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok
Nov 30 19:39:54.965 INFO [stdout] test type_check::tests::test_check_unit ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests::test_check_variant ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok
Nov 30 19:39:54.975 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok
Nov 30 19:39:54.975 INFO [stdout] 
Nov 30 19:39:54.975 INFO [stdout] test result: ok. 128 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:54.975 INFO [stdout] 
Nov 30 19:39:54.975 INFO [stdout] 
Nov 30 19:39:54.975 INFO [stdout] running 0 tests
Nov 30 19:39:54.975 INFO [stdout] 
Nov 30 19:39:54.975 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:54.975 INFO [stdout] 
Nov 30 19:39:54.975 INFO [stderr]      Running /target/debug/deps/type_lang-32427a0182e33633
Nov 30 19:39:54.975 INFO [stderr]    Doc-tests type_lang
Nov 30 19:39:55.307 INFO [stdout] 
Nov 30 19:39:55.308 INFO [stdout] running 0 tests
Nov 30 19:39:55.308 INFO [stdout] 
Nov 30 19:39:55.308 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:55.309 INFO [stdout] 
Nov 30 19:39:55.327 INFO [stderr] su: No module specific data is present
Nov 30 19:39:56.753 INFO running `"docker" "inspect" "ef478ac319728f3d0c389cc017147f1fd13de2c2a17f1f567e345d3cfd24cd81"`
Nov 30 19:39:57.115 INFO running `"docker" "rm" "-f" "ef478ac319728f3d0c389cc017147f1fd13de2c2a17f1f567e345d3cfd24cd81"`
Nov 30 19:39:57.543 INFO [stdout] ef478ac319728f3d0c389cc017147f1fd13de2c2a17f1f567e345d3cfd24cd81
